-
1 empty substitution
Математика: пустая подстановка -
2 empty substitution
мат. -
3 substitution
1) замена; замещение2) подставление; подстановка• -
4 пустая подстановка
Большой англо-русский и русско-английский словарь > пустая подстановка
-
5 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
6 weighing
-
7 rule
1) правило; норматив2) масштабная линейка; масштаб•- chain rule
- code rule
- cognitive rule
- complement rule
- composition rule
- condition-action rule
- context-free rule
- context-sensitive rule
- decision rule
- default rule
- design rule
- dialog format rules
- empty rule
- fault-avoiding layout rules
- firing rule
- formation rule
- inconsistent rule
- inheritance rule
- inhibition rule
- lambda design rule
- last association rule
- left recursive rule
- letter-into-sound rule
- linking rule
- majority rule
- maxmin rule
- midpoint rule
- minimax rule
- nearest neighbor rule
- operational rules
- precedence rule
- priority rule
- product rule
- production rule
- quadrature rule
- queueing rules
- random rule
- recursive rule
- reduction rule
- release reject rules
- rewrite rule
- rewriting rule
- right recursive rule
- rough-and-ready rule
- rule of inference
- rule of thumb
- scoping rule
- Simpson's rule
- statement rule
- stopping rules
- substitution rule
- sum rule
- traffic rule
- transformation rule
- trapezium rule
- underlying rule
- variable binding ruleEnglish-Russian dictionary of computer science and programming > rule
См. также в других словарях:
Empty set — ∅ redirects here. For similar looking symbols, see Ø (disambiguation). The empty set is the set containing no elements. In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
coordination compound — Chem. complex (def. 10). Also called coordination complex. * * * ▪ chemistry Introduction any of a class of substances with chemical structures in which a central metal atom is surrounded by nonmetal atoms or groups of atoms, called ligands… … Universalium
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
String operations — In computer science, in the area of formal language theory, frequent use is made of a variety of string functions; however, the notation used is different from that used on computer programming, and some commonly used functions in the theoretical … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Indigenous and traditional sports of Singapore — Chinese Hopscotch= Traditional games are a significant part of our cultural heritage. They reflect the ingenuity and resourcefulness of our forefathers in creating their own games by using inexpensive materials for their pastimes and… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
Levenshtein distance — In information theory and computer science, the Levenshtein distance is a string metric for measuring the amount of difference between two sequences. The term edit distance is often used to refer specifically to Levenshtein distance. The… … Wikipedia
